docs: Fix 'make docs'
authorKeir Fraser <keir@xen.org>
Tue, 6 Sep 2011 14:49:40 +0000 (15:49 +0100)
committerKeir Fraser <keir@xen.org>
Tue, 6 Sep 2011 14:49:40 +0000 (15:49 +0100)
commit090a5436289faaae79b1f49b29f4eeefc89d017e
treefcc78e71d3aa970cf7a24cad8de5ac0959fd9d7f
parent47f81623da77180a3509ac2248a86ddc8b9209ef
docs: Fix 'make docs'

Signed-off-by: Keir Fraser <keir@xen.org>
docs/src/user.tex